# -*- GAP -*-

Delta25i :=
rec(
  adjacencies := [ [ 5, 20, 21 ], [ 5, 22, 23 ], [ 5, 24 ], [ 5, 25 ], [ 1, 2, 3, 4 ], [ 7, 11, 20 ], [ 6, 8, 24 ], 
      [ 7, 9, 21 ], [ 8, 10, 22 ], [ 9, 11, 25 ], [ 6, 10, 23 ], [ 13, 17, 20 ], [ 12, 14, 25 ], [ 13, 15, 21 ], 
      [ 14, 16, 22 ], [ 15, 17, 24 ], [ 12, 16, 23 ], [ 24, 25 ], [  ], [ 1, 6, 12 ], [ 1, 8, 14 ], [ 2, 9, 15 ], 
      [ 2, 11, 17 ], [ 3, 7, 16, 18 ], [ 4, 10, 13, 18 ] ],
  autGroup := Group( [ ( 6, 8)( 9,11)(12,14)(15,17)(20,21)(22,23), ( 1, 2)( 6,15)( 7,16)( 8,17)( 9,12)(10,13)(11,14)
        (20,22)(21,23), ( 1, 7)( 2,16)( 4,18)( 5,24)( 6,20)( 8,21)( 9,14)(10,13)(11,12)(15,22)(17,23), 
      ( 1, 2)( 3, 4)( 6, 9)( 7,10)( 8,11)(12,15)(13,16)(14,17)(20,22)(21,23)(24,25) ] ),
  forms := [ rec(
          forms := [ [ "[24, 0, 28]" ] ],
          h := 8 ), rec(
          forms := [ [ "[8, 0, 60]" ] ],
          h := 12 ), rec(
          forms := [ [ "[4, 0, 24]" ] ],
          h := 20 ) ],
  group := Group( [ () ] ),
  h := [ 8, 12, 20 ],
  info := rec(
      bipartite := false,
      distance_regular := false,
      girth := 6,
      pencils := [ [ 4, 3 ], [ 3, 18 ], [ 2, 3 ], [ 0, 1 ] ],
      regular := false,
      transitive := -1 ),
  isGraph := true,
  isSimple := true,
  names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25 ],
  order := 25,
  real := [  ],
  representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25 ],
  schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, 
      -22, -23, -24, -25 ] );

